A Non-shared Binding Scheme for Parallel Prolog Implementation

To al low eff icient parallel processing of Prolog programs on distributed multiprocessors, a non-shared variable binding approach is required such that binding environments can be independently distributed among processors. This paper presents a binding scheme, which realises the independence of a clause's binding environment by eagerly instantiating variables across clause arguments. The application of the scheme on a Prolog virtual machine has illustrated its features of e f f i c iency in execut ion and s imp l i c i t y in implementat ion. The prel iminary performance evaluation has demonstrated the feasibility of the scheme.